$\forall$$u$:$\mathbb{B}$. ($u$ $\wedge_{b}$ tt) = $u$